perm filename NRC.XGP[NOT,DBL] blob sn#148151 filedate 1975-03-05 generic text, type T, neo UTF8
/LMAR=0/XLINE=4/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 
∃March 5, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓National Research Council
␈↓ ↓H␈↓Division of Mathematical Sciences
␈↓ ↓H␈↓National Academy of Sciences
␈↓ ↓H␈↓2101 Constitution Avenue, N.W.
␈↓ ↓H␈↓Washington, D. C.  20418

␈↓ ↓H␈↓Dear Sirs:

␈↓ ↓H␈↓I␈α⊂have␈α⊂recently␈α⊃submitted␈α⊂papers␈α⊂to␈α⊂the␈α⊃International␈α⊂Symposium␈α⊂on␈α⊂Proving␈α⊃and␈α⊂Improving
␈↓ ↓H␈↓Programs␈α(to␈α
be␈αheld␈αJuly␈α
1-3,␈α1975,␈αin␈α
Paris),␈αand␈αto␈α
the␈αFourth␈αInternational␈α
Joint␈αConference
␈↓ ↓H␈↓on␈α
Arti≡cial␈αIntelligence␈α
(to␈α
be␈αheld␈α
September␈α3-8,␈α
in␈α
the␈αSoviet␈α
Union).␈α The␈α
papers␈α
deal␈αwith
␈↓ ↓H␈↓aspects␈α∩of␈α∪my␈α∩research␈α∩here␈α∪at␈α∩the␈α∩Stanford␈α∪A.I.␈α∩Lab,␈α∩in␈α∪Automatic␈α∩Programming␈α∪and␈α∩the
␈↓ ↓H␈↓Representation␈α
of␈α
Knowledge.␈α
I␈α
am␈α
a␈α∞third-year␈α
graduate␈α
student␈α
in␈α
Computer␈α
Science,␈α∞where␈α
I
␈↓ ↓H␈↓have␈αrecently␈αbeen␈αgranted␈αcandicacy␈αfor␈αthe␈αPh.D.␈αdegree;␈αI␈αalready␈αpossess␈αa␈αMaster's␈αdegree␈αin
␈↓ ↓H␈↓Mathematics (from the University of Pennsylvania).

␈↓ ↓H␈↓My␈α
≡nancial␈α
situation␈α
may␈α
preclude␈α
me␈α
from␈αattending,␈α
however,␈α
and␈α
there␈α
appear␈α
to␈α
be␈αno␈α
travel
␈↓ ↓H␈↓funds␈αavailable␈αfrom␈αthe␈α
A.I.␈αLab,␈αfrom␈αthe␈α
Computer␈αScience␈αDepartment,␈αfrom␈α
Stanford␈αitself,
␈↓ ↓H␈↓nor␈α
from␈α
either␈αconference's␈α
sponsors.␈α
 If␈α
you␈αgrant␈α
funds␈α
for␈α
travel␈αto␈α
conferences,␈α
please␈αsend␈α
me
␈↓ ↓H␈↓further␈α
information␈α∞and␈α
any␈α
necessary␈α∞applications.␈α
 At␈α
your␈α∞request,␈α
I␈α
will␈α∞be␈α
happy␈α∞to␈α
supply
␈↓ ↓H␈↓drafts of the two papers and a proposal relevant to my current research.


␈↓ ↓H␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈αSincerely,





␈↓ ↓H␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α↔Douglas B. Lenat